- metalogical definition
- металогическое определение
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
metalogical definition
Смотреть что такое "metalogical definition" в других словарях:
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality … Wikipedia
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
Metalogic — is the study of the metatheory of logic. While logic is the study of the manner in which logical systems can be used to decide the correctness of arguments, metalogic studies the properties of the logical systems themselves.[1] According to… … Wikipedia
Paris arts faculty (The): Siger of Brabant, Boethius of Dacia, Radulphus Brito — The Paris arts faculty: Siger of Brabant, Boethius of Dacia, Radulphus Brito Sten Ebbesen Throughout the thirteenth century Paris overshadowed all other universities in the arts as in theology. This chapter will deal almost exclusively with Paris … History of philosophy
Template metaprogramming — is a metaprogramming technique in which templates are used by a compiler to generate temporary source code, which is merged by the compiler with the rest of the source code and then compiled. The output of these templates include compile time… … Wikipedia
Presuppositional apologetics — is a school of Christian apologetics, a field of Christian theology that aims to (1) present a rational basis for the Christian faith, (2) defend the faith against objections, and (3) expose the perceived flaws of other worldviews. [Frame (1994) … Wikipedia
The New Pantagruel — (also known as tNP or TNP ) was an ecumenical Christian electronic journal published from 2004 2006 and patterned after hard nosed little magazines like The Partisan Review with a satirical element reminiscent of The Wittenburg Door , Ship of… … Wikipedia
Doxastic logic — is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means belief. Typically, a doxastic logic uses Bx to mean It is believed that x is the case, and the set denotes a set of… … Wikipedia
